تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۴۲ ثانیه یافت شد.

1. Martin Davis on computability, computational logic, and mathematical foundations

پدیدآورنده : Eugenio G. Omodeo, Alberto Policriti, editors

کتابخانه: (طهران)

موضوع : ، Number theory,، Logic, Symbolic and mathematical,، Davis, Martin, 8291-,، Mathematicians -- United States

رده :

QA

241

.

M38

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها